Decision  Type 

latex

Definitions	Decision, t  T, Top
Lemmas	top wf